Modal logic

Results: 1643



#Item
41Philosophy / Religion / Philosophy of religion / Philosophical logic / Arguments for the existence of God / Ontology / Enlightenment philosophy / Problem of future contingents / Existence of God / Gottfried Wilhelm Leibniz / God / Modal logic

Freedom and Possibility G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been added, but can be read as thoug

Add to Reading List

Source URL: www.earlymoderntexts.com

Language: English
42Modality / Philosophy / Grammar / Linguistics / Grammatical moods / Non-classical logic / Philosophical logic / Linguistic modality / Semantics / Modal logic / Grammatical aspect / Shall and will

A necessity priority modal and its interaction with tense in Korean Bokyung Mun (Georgetown University) Previous literature has revealed that the interaction of a modal with tense or aspect forms often gives rise to some

Add to Reading List

Source URL: www.macsim.us

Language: English - Date: 2013-04-02 10:13:09
43Mathematics / Logic / Mathematical logic / Logic programming / Model theory / Stable model semantics / Modal logic / FO / Binomial coefficient

Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy

Add to Reading List

Source URL: tmancini.di.uniroma1.it

Language: English - Date: 2008-12-16 11:06:11
44Philosophy / Logic / Abstraction / Philosophical logic / Axiom / Mathematical proof / Maxims / Self-evidence / Truth / Modal logic / Foundations of geometry / Law of thought

New Essays on Human Understanding Book IV: Knowledge G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been ad

Add to Reading List

Source URL: www.earlymoderntexts.com

Language: English
45Theoretical computer science / Logic in computer science / Bisimulation

Quantitative Modal Transition Systems Kim Guldstrand Larsen Aalborg University, University

Add to Reading List

Source URL: events.inf.ed.ac.uk

Language: English - Date: 2012-10-10 03:52:03
46Wave mechanics / Physics / Calculus / Mechanics / Acoustics / Structural analysis / Earthquake engineering / Vibration / Modal testing / Modal analysis / Curvature / Modal logic

Damage Assessment of Structure by the Reciprocal Theorem of Elastodynamics and the Frequency Domain Decomposition (FDD) Method Chung-Yue Wang, Che-Hau Chiang & Chin-Kuo Huang Department of Civil Engineering, National Cen

Add to Reading List

Source URL: www.cber.ncu.edu.tw

Language: English - Date: 2015-03-26 01:45:12
47Logic / Mathematical logic / Non-classical logic / Modal logic / Model theory / Philosophical logic / Admissible rule / Intermediate logic / Kripke semantics / Propositional calculus / Completeness / Modal companion

On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2008-12-12 07:19:27
48Logic / Mathematical logic / Model theory / Ontology / Philosophy / Temporal logic / Non-classical logic / Philosophical logic / Tbox / Abox / Modal logic / Kripke structure

Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2015-02-05 09:51:05
49Logic / Mathematics / Philosophy / Lattice theory / Data mining / Formal concept analysis / Machine learning / Ontology / Algebraic logic / Boolean algebra / Binary relation / Modal logic

On the Modal Understanding of Triadic Contexts Frithjof Dau and Rudolf Wille Technische Universitat Darmstadt, Fachbereich Mathematik Schlogartenstr. 7, D{64289 Darmstadt, fdau,

Add to Reading List

Source URL: www.dr-dau.net

Language: English - Date: 2007-10-31 23:07:37
50Philosophy / Philosophical logic / Modality / Reality / Logical truth / Ancient Greek philosophers / Two Dogmas of Empiricism / Modal logic / Meaning / Truth / Socrates / Essentialism

ESSENCE AND MODALITY Kit Fine Philosophy, NYU June, 1992; revised February, 1993

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
UPDATE